ardens theorem